  <?= htmlspecialchars_decode($page['contenu']); ?>